L'AXE MER DU NORD-MEDITERRANEECOUSOT P.MARSEILLE. 1972, Vol FR.1972NO: 88LOC: BAPPAArticle

DEFINITION INTERPRETATIVE ET IMPLANTATION DE LANGAGES DE PROGRAMMATION.COUSOT P.1974; AO-CNRS-10944; FR.; DA. 1974; PP. (366P.); BIBL. 36 P. 1/2; (THESE DOCT. ING., SPEC. INF.; UNIV. SCI. MED. GRENOBLE)Thesis

ANALYSIS OF THE BEHAVIOUR OF DYNAMIC DISCRETE SYSTEMS. I: DETERMINIST SYSTEMSCOUSOT P.1979; MATH. APPL. INFORMAT., RAPP. RECH.; FRA; DA. 1979; NO 161; 34 P.; ABS. FRE; BIBL. 15 REF.Serial Issue

UN ANALYSEUR SYNTAXIQUE POUR GRAMMAIRES HORS CONTEXTE ASCENDANT SELECTIF ET GENERALCOUSOT P.1972; IN: TECH. INF. CONGR. AFCET. GRENOBLE, 1972; PARIS; AFCET; DA. 1972; VOL. 1; PP. 391-405; BIBL. 1 P.Conference Paper

Abstract interpretationCOUSOT, P.ACM computing surveys. 1996, Vol 28, Num 2, pp 324-328, issn 0360-0300Conference Paper

ASYCHRONOUS ITERATIVE METHODS FOR SOLVING A FIXED POINT SYSTEM OF MONOTONE EQUATIONS IN A COMPLETE LATTICE.COUSOT P.1977; MATH. APPL. INFORMAT., RAPP. RECH.; FR.; DA. 1977; NO 88; PP. 1-15; BIBL. 7 REF.Serial Issue

CONSTRUCTIVE VERSIONS OF TARSKI'S FIXED POINT THEOREMS.COUSOT P; COUSOT R.1977; MATH. APPL. INFORMAT., RAPP. RECH.; FR.; DA. 1977; NO 85; PP. 1-17; BIBL. 1 P. 1/2Serial Issue

A CONSTRUCTIVE CHARACTERIZATION OF THE LATTICES OF ALL RETRACTIONS, PRECLOSURE, QUASI-CLOSURE AND CLOSURE OPERATORS ON A COMPLETE LATTICECOUSOT P; COUSOT R.1978; MATH. APPL. INFORMAT., RAPP. RECH.; FRA; DA. 1978; NO 128; PP. 1-15; BIBL. 1 P.Serial Issue

Program analysis : The abstract interpretation perspectiveCOUSOT, P.SIGPLAN notices. 1997, Vol 32, Num 1, pp 73-76, issn 0362-1340Article

AUTOMATIC SYNTHESIS OF OPTIMAL INVARIANT ASSERTIONS: MATHEMATICAL FOUNDATIONS.COUSOT P; COUSOT R.1977; SIGPLAN NOT.; U.S.A.; DA. 1977; VOL. 12; NO 8; PP. 1-12; BIBL. 15 REF.; (SYMP. ARTIF. INTELL. PROGRAM. LANG. PROC.; ROCHESTER, N.Y.; 1977)Conference Paper

STATIC VERIFICATION OF DYNAMIC TYPE PROPERTIES OF VARIABLES.COUSOT P; COUSOT R.1975; VSM-INPG-MATH. APPL. INF.-RR-25; FR.; DA. 1975; PP. 1-18; BIBL. 1 P. 1/2Report

SEMANTIC ANALYSIS OF COMMUNICATING SEQUENTIAL PROCESSESCOUSOT P; COUSOT R.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 85; PP. 119-133; BIBL. 18 REF.Conference Paper

STATIC DETERMINATION OF DYNAMIC PROPERTIES OF PROGRAMS.COUSOT P; COUSOT R.1977; IN: PROGRAMMATION. INT. SYMP. PROGRAM. 2. PROC.; PARIS; 1976; PARIS; DUNOD; DA. 1977; PP. 106-130; BIBL. 1 P. 1/2Conference Paper

ABSTRACT INTERPRETATION. A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION OF FIXPOINTS.COUSOT P; COUSOT R.1977; IN: ACM SYMP. PRINC. PROGRAM. LANG. 4; LOS ANGELES; 1977; NEW YORK; ASSOC. COMPUT. MACH.; DA. 1977; PP. 238-252; BIBL. 1 P.Conference Paper

A la Burstall' intermittent assertions induction principles for proving inevitability properties of programsCOUSOT, P; COUSOT, R.Theoretical computer science. 1993, Vol 120, Num 1, pp 123-155, issn 0304-3975Article

Abstract interpretation based static analysis parameterized by semanticsCOUSOT, P.Lecture notes in computer science. 1997, pp 388-394, issn 0302-9743, isbn 3-540-63468-1Conference Paper

Interprétation abstraite = Abstract interpretationCOUSOT, P.TSI. Technique et science informatiques. 2000, Vol 19, Num 1-3, pp 155-164, issn 0752-4072Article

A language independent proof of the soundness and completeness of generalized Hoare logicCOUSOT, P; COUSOT, R.Information and computation (Print). 1989, Vol 80, Num 2, pp 165-191, issn 0890-5401Article

Géométrie du parallélisme = The Geometry of ConcurrencyGoubault, Eric; Cousot, P.1995, 349 p.Thesis

Typage par interprétation abstraite = Type inference by abstract interpretationMonsuez, Bruno; Cousot, P.1994, 282 p.Thesis

Analyse sémantique relationnelle des indices de tableaux par congruences et trapézoïdes rationnels = Array indices relational semantic analysis using rational cosets and trapezoidsMasdupuy, François; Cousot, P.1993, 148 p.Thesis

Abstract interpretation of algebraic polynomial systemsCOUSOT, P; COUSOT, R.Lecture notes in computer science. 1997, pp 138-154, issn 0302-9743, isbn 3-540-63888-1Conference Paper

Partial completeness of abstract fixpoint checkingCOUSOT, P.Lecture notes in computer science. 2000, pp 1-25, issn 0302-9743, isbn 3-540-67839-5Conference Paper

Strategic directions in research on programming languagesHANKIN, C; NIELSON, H. R; GLÜCK, R et al.HANKIN, C; ACM computing surveys. 1996, Vol 28, Num 4, pp 644-652, issn 0360-0300Conference Paper